1. Types for Proofs and programs : International Workshop TYPES'93, Nijmegen, The Netherlands, May 1993 : selected papers
پدیدآورنده : Henk Barendregt, Tobias Nipkow, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programs
رده :
QA
76
.
L28
Vol
.
806